North Elementary GBL Summer Workshop     Garden­Based Learning with GigaPan  July 27­28, 2015 9:45am­12:45pm  North Elementary Computer Lab   

Source URL: phaven-prod.s3.amazonaws.com

• Panorama photography
• Ames Research Center
• Carnegie Mellon University
• Gigapan
• GBL
• Next Generation Science Standards
• Password

Iowa Space Grant Consortium (ISGC) and Iowa NASA EPSCoR (INE) Extension-Science, Engineering & Technology (E-SET) Volume 21 • AugustISGC awards 11 internships

Source URL: tpapanicolaou.engr.utk.edu

• National Space Grant College and Fellowship Program
• NASA
• University of Iowa
• Iowa State University
• Iowa
• Ames Research Center
• Science
• technology
• engineering
• and mathematics

Microsoft Word - iac paper rev2.docx

Source URL: www.coe-cst.org

• Commercial spaceflight
• Space policy
• Human spaceflight
• Office of Commercial Space Transportation
• Private spaceflight
• Reusable launch system
• NASA
• Virgin Galactic
• Federal Aviation Administration
• Human-rating certification
• Ames Research Center
• Spaceflight

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• Failure
• Materials science
• Reliability engineering
• Survival analysis
• DO-178B
• Exception handling
• Formal verification
• Software development process
• KeY
• Software development

STAR-program-FINAL-VERSION_2090827

Source URL: starteacherresearcher.org

• California State Polytechnic University
• Pomona
• California Polytechnic State University
• Science
• technology
• engineering
• and mathematics
• Cal Poly
• San Luis Obispo
• California
• Ames Research Center

Kepler Science Center NASA Ames Research Center Kepler Astrophysical Positional Probabilities Table Delivery Log Date

Source URL: exoplanetarchive.ipac.caltech.edu

• Discovery Program
• Kepler
• Lyra

NASA National Aeronautics and Space Administration Office of Inspector General Office of Audits

Source URL: oig.nasa.gov

• Government of the United States
• NASA facilities
• Inspectors general
• Office of Inspector General
• Mountain View
• California
• NASA DEVELOP National Program
• NASA
• International Traffic in Arms Regulations
• Government Accountability Office
• Ames Research Center
• Export
• NASA STI Program

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

47th Lunar and Planetary Science ConferenceThursday, March 24, 2016 SPECIAL SESSION: NASA PLANETARY SCIENCE DIVISION FACILITIES 1:30 p.m. Waterway Ballroom 4

Source URL: www.hou.usra.edu

• Space science
• Planetary science
• Ames Research Center
• Regional Planetary Image Facility
• Carnegie Institution for Science

IFAR – International Forum for Aviation Research Declaration Summitto 8 October 2015, NASA Ames Research Center in Moffett Field, California The International Forum for Aviation Research (IFAR) is the world’s

Source URL: www.ifar.aero